x. y.  (Surrogate arguments)

These denote the arguments in an explicit definition, as discussed under :